In its comprehensive overview of Alain Locke's pragmatist philosophy this book captures the radical implications of Locke's approach within pragmatism, the critical temper embedded in Locke's works, the central role of power and empowerment of the oppressed and the concept of broad democracy Locke employed.

We identify a species of experiment—Kon-Tiki experiments—used to demonstrate the competence of a cause to produce a certain effect, and we examine their role in the historical sciences. We argue that Kon-Tiki experiments are used to test middle-range theory, to test assumptions within historical narratives, and to open new avenues of inquiry. We show how the results of Kon-Tiki experiments are involved in projective inferences, and we argue that reliance on projective inferences does not provide historical scientists with any special (...) protection against the problem of unconceived alternatives. (shrink)

The recent pop culture iconography of the Critical Race Theory (CRT) label has attracted more devoted (white) fans than a 90s boy band. In philosophy, this trend is evidenced by the growing number of white feminists who extend their work in gender analogically to questions of race and identity. The trend is further evidenced by the unchecked use of the CRT label to describe (1) any work dealing with postcolonial authors like W.E.B. Du Bois and Frantz Fanon or (2) the (...) role postcolonial themes like power, discourse, and the unconscious play in the social constructionist era. While this misnomer may seem practically insignificant, the artifice formerly known as CRT in philosophy—more adequately labeled “critical theories of race”— has been axiomatically driven by the political ideals of integration and by a revisionist commentary that seeks to expand traditional philosophical ideas, such as reason, history, and humanity, which were previously closed off by racial borders, to people of color. This “revision in the name of inclusion,” however, is not without its consequences. In order to incorporate the experiences of those who suffer under the weight of modernity and are marred by the burdens of racism into the narration of Continental and American philosophy, the theoretical perspectives in Critical Race Theory that deny the legitimacy of philosophy’s diversity agenda must necessarily be excluded.In particular, this recent move to recognize the study of race as a category of philosophical relevance has resulted in the outright denial of the nationalist and revolutionary fervor contained in the intellectual history specific to the Critical Race Theory movement started by the works of Derrick Bell.2 Instead, this new movement favors narratives that inculcate the ideals of a post-racial humanity and racial amelioration between compassionate (Black and white) philosophical thinkers dedicated to solving America’s race problem. (shrink)

Restricted to first-order formulas, the rules of inference in the Curry-Howard type theory are equivalent to those of first-order predicate logic as formalized by Heyting, with one exception: ∃-elimination in the Curry-Howard theory, where ∃x : A.F (x) is understood as disjoint union, are the projections, and these do not preserve firstorderedness. This note shows, however, that the Curry-Howard theory is conservative over Heyting’s system.

In an influential series of papers, Cleland (2001, 2002, 2011) argued that historical natural scientists employ a distinctive methodology—which exploits Lewis (1979)s asymmetry of over determination—that is capable of putting knowledge of the deep past on an epistemic par with experimental knowledge. Currie (2018) clarified the nature of the asymmetry claim and used it to argue for a more restricted form of optimism toward the historical sciences. This optimism is licensed by the evidential redundancy that the asymmetry of over determination (...) guarantees.In this chapter I show that the argument for the asymmetry of over determination is circular and the thesis is false. Over determination toward the past is smuggled in from the start by ruling out of consideration so-called backtracking counterfactuals. By banning backtracking counterfactuals, consideration is restricted to possible worlds in which the over determination thesis holds. But in the actual world, the present is compatible with many different histories. (shrink)

The music in here--. Music as body ; Music as mind ; Music as heart ; Feeling mind, thinking heart -- --out there--. Music as life ; Music as story ; Music as mirror -- --and everywhere--. Music on the Zen elevator ; The enlightened listener ; Living the waves.

D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.

Pure Type Systems, PTSs, were introduced as a generalization of the type systems of Barendregt's lambda cube and were designed to provide a foundation for actual proof assistants which will verify proofs. Systems of illative combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. In an earlier paper we considered two changes to the rules of the PTSs which made these rules more like ICL rules. This led to four (...) kinds of PTSs. Most importantly PTSs are about statements of the form M:A, where M is a term and A a type. In ICLs there are no explicit types and the statements are terms. In this paper we show that for each of the four forms of PTS there is an equivalent form of ICL, sometimes if certain conditions hold. (shrink)

De Interpretatione is among Aristotle's most influential and widely read writings; C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system. He shows that De Interpretatione is not a disjointed essay on ill-connected subjects, as traditionally thought, but a highly organized and systematic treatise on logic, argument, and dialectic.

The ``Many Sides of Logic'' is a volume containing a selection of the papers delivered at three simultaneous events held between 11-17 May 2008 in Paraty, RJ, Brazil, continuing a tradition of three decades of Brazilian and Latin-American meetings and celebrating the 30th anniversary of an institution congenital with the mature interest for logic, epistemology and history of sciences in Brazil: CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science at the State University (...) of Campinas (UNICAMP) XV EBL -15th Brazilian Logic Conference XIV SLALM - 14th Latin-American Symposium on Mathematical Logic Several renowned logicians, philosophers and mathematicians gathered in colonial Paraty, a historic village on the Brazilian coast founded in the 17th Century and surrounded by the luscious Atlantic rain forest to deliver lectures and talks celebrating the many sides of logic: the philosophical, the mathematical, the computational, the historical, and the multiple facets therein. The topics of the joint conferences, well represented here, included philosophical and mathematical Logic and applications with emphasis on model theory and proof theory, set theory, non-classical logics and applications, history and philosophy of logic, philosophy of the formal sciences and issues on the foundations of mathematics. The events have been preceded by a Logic School planned for students and young researchers held at the UNICAMP campus in Campinas, SP. (shrink)

Proceedings of the II World Congress on Paraconsistency held in Juquey, SP, Brazil, from May 12-19, 2000.

In this paper, I discuss the pros and cons of the movement and philosophy of Transhumanism, with a focus on the concept of nothingness. I argue that all hitherto concepts of nothingness, both Western and Eastern, are inadequate for an understanding of the present technological position humans now find themselves in.